Leibniz-a integrala regulo

La Leibniz-a integrala regulo, aŭ formulo de Leibniz por diferencialado de difinita integralo, estas

${\displaystyle {d \over dt}\int _{a(t)}^{b(t)}f(t,x)\,dx=\int _{a(t)}^{b(t)}{\partial f(t,x) \over \partial t}\,dx+f(t,b(t)){db(t) \over dt}-f(t,a(t)){da(t) \over dt}.}$

(rimarku, ke la randoj de integralado estas funkcioj de t).